Ein „truth teller sentence" (kurz: TT) ist ein Satz, der seine eigene Wahrheit behauptet. Bei der lebhaften Diskussion über die Wahrheitstheorie für Systeme, in denen die Lügnerparadoxie darstellbar ist, sind auch selbstreferentielle Sätze der Form eines TT intensiver untersucht worden. In der Regel wurden sie „symmetrisch" aufgefaßt: Wahrheits- und Falschheitsannahmen für einen TT schienen gleichermaßen (und aus völlig analogen Gründen) akzeptabel oder inakzeptabel. Die metatheoretischen Einsichten über TTs waren in gängigen paradoxietheoretischen Systemen jedoch nicht objektsprachlich darstellbar. Eine quotations- und reflexionslogische (...) Analyse ertaubt eine derartige objektsprachliche Repräsentation der Semantik von TTs und führt zu einer asymmetrischen Auffassung vom TT: der TT behauptet etwas (schließlich) Falsches. (shrink)

Ein „truth teller sentence" (kurz: TT) ist ein Satz, der seine eigene Wahrheit behauptet. Bei der lebhaften Diskussion über die Wahrheitstheorie für Systeme, in denen die Lügnerparadoxie darstellbar ist, sind auch selbstreferentielle Sätze der Form eines TT intensiver untersucht worden. In der Regel wurden sie „symmetrisch" aufgefaßt: Wahrheits- und Falschheitsannahmen für einen TT schienen gleichermaßen (und aus völlig analogen Gründen) akzeptabel oder inakzeptabel. Die metatheoretischen Einsichten über TTs waren in gängigen paradoxietheoretischen Systemen jedoch nicht objektsprachlich darstellbar. Eine quotations- und reflexionslogische (...) Analyse ertaubt eine derartige objektsprachliche Repräsentation der Semantik von TTs und führt zu einer asymmetrischen Auffassung vom TT: der TT behauptet etwas (schließlich) Falsches. (shrink)

Preventive solutions for the paradoxes lead to the inexpressability of the adequacy conditions for the representation of truth within the system. Davidsonian theories of truth presuppose an understood language (for the background theory) which should permit the expression of the solutional principles for the paradoxes. The suitability of languages for this aim is tested by inferential validity paradoxes. They necessitate the introduction of an inner and an outer truthpredicate. For the paradoxes, two different types of circularity, often wrongly identified, have (...) to be distinguished. For Davidsonian theories of truth, non-two-valuedness, different versions of convention T and "principled openess" of the background theory have to be postulated. (shrink)

Preventive solutions for the paradoxes lead to the inexpressability of the adequacy conditions for the representation of truth within the system. Davidsonian theories of truth presuppose an understood language (for the background theory) which should permit the expression of the solutional principles for the paradoxes. The suitability of languages for this aim is tested by inferential validity paradoxes. They necessitate the introduction of an inner and an outer truthpredicate. For the paradoxes, two different types of circularity, often wrongly identified, have (...) to be distinguished. For Davidsonian theories of truth, non-two-valuedness, different versions of convention T and "principled openess" of the background theory have to be postulated. (shrink)